$\forall$$T$:Type, $u$:$T$, $v$, $L_{1}$:$T$ List. $L_{1}$ $\subseteq$ $v$ $\Rightarrow$ $L_{1}$ $\subseteq$ $u$.$v$